Internet Archive BookReader - xerox :: parc :: techReports :: CSL-84-7 On Adding Garbage Collection and Runtime Types to a Strongly-Typed Statically-Checked Concurrent Language